Robin Milner - PDFSEARCH.IO - Document Search Engine

Robin Milner
Results: 28

#	Item
21	Curriculum Vitae Mads Tofte October 4, 2014 Born on April 20, 1959, in Lyngby, Denmark. Danish citizen. Married to Joan Campbell-Tofte. Vice Chancellor (“Rektor”), IT University of Copenhagen. Add to Reading List Source URL: www.itu.dk Language: English - Date: 2014-10-04 03:17:51 Fellows of the Royal Society Functional languages Procedural programming languages Mads Tofte Robin Milner Laboratory for Foundations of Computer Science Robert Harper ML SIGPLAN Software engineering Programming language theory Computing
22	Publications and notes in chronological order, Mads Tofte Last updated: October 24, 2013 References [1] Mads Tofte. Add to Reading List Source URL: www.itu.dk Language: English - Date: 2013-10-24 09:57:58 Fellows of the Royal Society Functional languages Procedural programming languages Mads Tofte Robin Milner Laboratory for Foundations of Computer Science Robert Harper ML SIGPLAN Software engineering Programming language theory Computing
23	Commentary on Standard ML Robin Milner Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, Scotland Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-10-12 10:57:16 Functional languages Procedural programming languages Meaning Philosophical logic Type theory ML Programming language Semantics Soundness Logic Programming language theory Software engineering
24	Robin Milner LIST OF PUBLICATIONS, 2008 Books written 1. Edinburgh LCF; a Mechanized Logic of Computation, with M.J.C. Gordon and C.W. Wadsworth, LNCS781 , pages). Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-01-05 11:56:21 Process calculi Actor model Logic in computer science Robin Milner Bigraph Semantics of programming languages Computation Π-calculus Bunched logic Computer science Theoretical computer science Applied mathematics
25	From LCF to HOL: a short history Mike Gordon1 1 Introduction Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-06-19 04:39:27 Mathematical logic Automated theorem proving Formal methods Fellows of the Royal Society Logic for Computable Functions HOL Isabelle Proof assistant Robin Milner Theoretical computer science Logic in computer science Mathematics
26	“Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-04-17 18:53:47 Functional languages Procedural programming languages Type theory ML Logic in computer science Robin Milner Logic for Computable Functions Type inference Pict Software engineering Programming language theory Computing
27	Technical Report UCAM-CL-TR ISSN[removed]Computer Laboratory Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-12-02 09:28:45 Computing Turing Award laureates Ucam Algorithm Logic for Computable Functions Proof assistant HOL Robin Milner Compiler Logic in computer science Theoretical computer science Computer science
28	A Brief Scientific Biography of Robin Milner Gordon Plotkin, Colin Stirling & Mads Tofte Robin Milner was born in 1934 to John Theodore Milner and Muriel Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-28 12:43:45 Logic in computer science Functional languages Type theory Formal methods Models of computation Denotational semantics Logic for Computable Functions ML Robin Milner Theoretical computer science Software engineering Programming language theory